(declare-const i11 Int)
(check-sat)
(push)
(assert (distinct (mod i11 698) 0))
(push)
(pop)
(assert false)
(check-sat)
(check-sat)
(pop)
(check-sat)
(assert (= true true true (distinct (mod i11 698) 0) true))
(check-sat)
